Towards Goal-Oriented Conformance Checking

نویسندگان

  • Hiroki Horita
  • Hideaki Hirayama
  • Yasuyuki Tahara
  • Akihiko Ohsuga
چکیده

Constructing a business process is important area between requirements engineering and business process management. Goal-oriented requirements analysis method is widely researched in requirements engineering and useful for reflecting organizational requirements to business process models, but actual business processes deviate from defined process models. Therefore, it is not sufficient for business process analysis only using model’s information. It is important to analyze actual conducted business process logged data. Analyzing business process logged data is called process mining and detecting differences between models and logs is called conformance checking. A lot of conformance checking approaches mainly focus on process aspects of business process, but this is not sufficient for analysis whether actual business processes can satisfy organizational goals. In this paper, we propose a goal-oriented conformance checking approach which can detect deviations between logs and models, and can analyze the effects of the deviation. It is useful for evaluation of the detected deviation. We represent the effectiveness of our approach conducting a case study using the publicly available log.

منابع مشابه

Process Mining and Monitoring Processes and Services: Workshop Report

In a service-oriented architecture, but also in classical entreprise systems, a variety of events (e.g., messages being sent and received) are being logged. This information can be used for process mining purposes, i.e., based on some event log it is possible to discover processes or to check conformance. The goal of process discovery is to build models without a-priori knowledge, i.e., based o...

متن کامل

Considering Topological Constraints for the Description of Dynamic Service-Oriented Orchestrated Architectures

The description of run-time changing architectures cannot be limited to the specification of a unique static topology but must cover the scope of all the correct configurations. We develop, in this paper, the concept of architectural styles to achieve this goal. We elaborate and specify the basic architectural styles for the design of service-oriented applications. For this purpose we develop a...

متن کامل

Towards an Ontology-based Approach for Conformance Checking Modeling in Construction

This paper gives an overview of a formal ontological approach of conformance models for regulations in Construction aiming at answering the research question: “is an IFC-represented building project compliant to a set of construction rules?” The study analyses three key subtasks: (i) transformation of the IFC of the construction project; (ii) regulations formalisation; (iii) conformance checkin...

متن کامل

Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation

With the explosion of software size, checking conformance of implementation to specification becomes an increasingly important but also hard problem. Current practice based on ad-hoc testing does not provide correctness guarantees, while highly confident traditional formal methods like model checking and theorem proving are still too expensive to become common practice. In this paper we present...

متن کامل

Using graph grammars for interaction style description: applications for service-oriented architectures

Applications with run-time changing architectures constitute a challenge for both modelling and reasoning. Their description is not limited to the specification of a unique static topology but must cover the scope of all the correct configurations. We develop, in this paper, the concept of architectural styles to achieve this goal. We elaborate and specify the basic architectural styles for the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

متن کامل
عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015